Compact flat manifolds with holonomy group $\mathbf {Z}_2 \oplus \mathbf {Z}_2$
نویسندگان
چکیده
منابع مشابه
Primitive Compact Flat Manifolds with Holonomy Group
From an important construction of Calabi (see [Ca], [Wo]), it follows that the compact Riemannian flat manifolds with first Betti number zero are the building blocks for all compact Riemannian flat manifolds. It is, therefore, of interest to construct families of such objects. These are often called primitive manifolds. Hantzsche and Wendt (1935) constructed the only existing 3-dimensional comp...
متن کاملThe Structure of Z_2[u]Z_2[u, v]-additive Codes
In this paper, we study the algebraic structure of Z2[u]Z2[u, v]-additive codes which are Z2[u, v]-submodules where u 2 = v2 = 0 and uv = vu. In particular, we determine a Gray map from Z2[u]Z2[u, v] to Z 2α+8β 2 and study generator and parity check matrices for these codes. Further we study the structure of Z2[u]Z2[u, v]additive cyclic codes and constacyclic codes.
متن کاملGroup Connectivity: $\mathbb Z_4$ v. $\mathbb Z_2^2$
We answer a question on group connectivity suggested by Jaeger et al. [Group connectivity of graphs – A nonhomogeneous analogue of nowhere-zero flow properties, JCTB 1992]: we find that Z2-connectivity does not imply Z4-connectivity, neither vice versa. We use a computer to find the graphs certifying this and to verify their properties using nontrivial enumerative algorithm. While the graphs ar...
متن کاملSuperconformal Field Theories for Compact Manifolds with Spin(7) Holonomy
We present a construction of superconformal field theories for manifolds with Spin(7) holonomy. Geometrically these models correspond to the realization of Spin(7) manifolds as anti-holomorphic quotients of Calabi-Yau fourfolds. Describing the fourfolds as Gepner models and requiring anomaly cancellation we determine the resulting Betti numbers of the Spin(7) superconformal field theory. As in ...
متن کاملRepresenting Nonterminating Rewriting with $\mathbf{F}_2^\mu$
We specify a second-order type system Fμ2 that is tailored for representing nonterminations. The nonterminating trace of a term t in a rewrite system R corresponds to a productive inhabitant e such that ΓR ` e : t in Fμ2 , where ΓR is the environment representing the rewrite system. We prove that the productivity checking in Fμ2 is decidable via a mapping to the λ-Y calculus. We develop a type ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1996
ISSN: 0002-9939,1088-6826
DOI: 10.1090/s0002-9939-96-03633-7